first order logic solved problems